Optimal. Leaf size=213 \[ \frac {63 (A b-11 a B) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{128 \sqrt {a} b^{13/2}}-\frac {63 \sqrt {x} (A b-11 a B)}{128 a b^6}+\frac {21 x^{3/2} (A b-11 a B)}{128 a b^5 (a+b x)}+\frac {21 x^{5/2} (A b-11 a B)}{320 a b^4 (a+b x)^2}+\frac {3 x^{7/2} (A b-11 a B)}{80 a b^3 (a+b x)^3}+\frac {x^{9/2} (A b-11 a B)}{40 a b^2 (a+b x)^4}+\frac {x^{11/2} (A b-a B)}{5 a b (a+b x)^5} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.10, antiderivative size = 213, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 6, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.207, Rules used = {27, 78, 47, 50, 63, 205} \[ \frac {x^{9/2} (A b-11 a B)}{40 a b^2 (a+b x)^4}+\frac {3 x^{7/2} (A b-11 a B)}{80 a b^3 (a+b x)^3}+\frac {21 x^{5/2} (A b-11 a B)}{320 a b^4 (a+b x)^2}+\frac {21 x^{3/2} (A b-11 a B)}{128 a b^5 (a+b x)}-\frac {63 \sqrt {x} (A b-11 a B)}{128 a b^6}+\frac {63 (A b-11 a B) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{128 \sqrt {a} b^{13/2}}+\frac {x^{11/2} (A b-a B)}{5 a b (a+b x)^5} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 47
Rule 50
Rule 63
Rule 78
Rule 205
Rubi steps
\begin {align*} \int \frac {x^{9/2} (A+B x)}{\left (a^2+2 a b x+b^2 x^2\right )^3} \, dx &=\int \frac {x^{9/2} (A+B x)}{(a+b x)^6} \, dx\\ &=\frac {(A b-a B) x^{11/2}}{5 a b (a+b x)^5}-\frac {(A b-11 a B) \int \frac {x^{9/2}}{(a+b x)^5} \, dx}{10 a b}\\ &=\frac {(A b-a B) x^{11/2}}{5 a b (a+b x)^5}+\frac {(A b-11 a B) x^{9/2}}{40 a b^2 (a+b x)^4}-\frac {(9 (A b-11 a B)) \int \frac {x^{7/2}}{(a+b x)^4} \, dx}{80 a b^2}\\ &=\frac {(A b-a B) x^{11/2}}{5 a b (a+b x)^5}+\frac {(A b-11 a B) x^{9/2}}{40 a b^2 (a+b x)^4}+\frac {3 (A b-11 a B) x^{7/2}}{80 a b^3 (a+b x)^3}-\frac {(21 (A b-11 a B)) \int \frac {x^{5/2}}{(a+b x)^3} \, dx}{160 a b^3}\\ &=\frac {(A b-a B) x^{11/2}}{5 a b (a+b x)^5}+\frac {(A b-11 a B) x^{9/2}}{40 a b^2 (a+b x)^4}+\frac {3 (A b-11 a B) x^{7/2}}{80 a b^3 (a+b x)^3}+\frac {21 (A b-11 a B) x^{5/2}}{320 a b^4 (a+b x)^2}-\frac {(21 (A b-11 a B)) \int \frac {x^{3/2}}{(a+b x)^2} \, dx}{128 a b^4}\\ &=\frac {(A b-a B) x^{11/2}}{5 a b (a+b x)^5}+\frac {(A b-11 a B) x^{9/2}}{40 a b^2 (a+b x)^4}+\frac {3 (A b-11 a B) x^{7/2}}{80 a b^3 (a+b x)^3}+\frac {21 (A b-11 a B) x^{5/2}}{320 a b^4 (a+b x)^2}+\frac {21 (A b-11 a B) x^{3/2}}{128 a b^5 (a+b x)}-\frac {(63 (A b-11 a B)) \int \frac {\sqrt {x}}{a+b x} \, dx}{256 a b^5}\\ &=-\frac {63 (A b-11 a B) \sqrt {x}}{128 a b^6}+\frac {(A b-a B) x^{11/2}}{5 a b (a+b x)^5}+\frac {(A b-11 a B) x^{9/2}}{40 a b^2 (a+b x)^4}+\frac {3 (A b-11 a B) x^{7/2}}{80 a b^3 (a+b x)^3}+\frac {21 (A b-11 a B) x^{5/2}}{320 a b^4 (a+b x)^2}+\frac {21 (A b-11 a B) x^{3/2}}{128 a b^5 (a+b x)}+\frac {(63 (A b-11 a B)) \int \frac {1}{\sqrt {x} (a+b x)} \, dx}{256 b^6}\\ &=-\frac {63 (A b-11 a B) \sqrt {x}}{128 a b^6}+\frac {(A b-a B) x^{11/2}}{5 a b (a+b x)^5}+\frac {(A b-11 a B) x^{9/2}}{40 a b^2 (a+b x)^4}+\frac {3 (A b-11 a B) x^{7/2}}{80 a b^3 (a+b x)^3}+\frac {21 (A b-11 a B) x^{5/2}}{320 a b^4 (a+b x)^2}+\frac {21 (A b-11 a B) x^{3/2}}{128 a b^5 (a+b x)}+\frac {(63 (A b-11 a B)) \operatorname {Subst}\left (\int \frac {1}{a+b x^2} \, dx,x,\sqrt {x}\right )}{128 b^6}\\ &=-\frac {63 (A b-11 a B) \sqrt {x}}{128 a b^6}+\frac {(A b-a B) x^{11/2}}{5 a b (a+b x)^5}+\frac {(A b-11 a B) x^{9/2}}{40 a b^2 (a+b x)^4}+\frac {3 (A b-11 a B) x^{7/2}}{80 a b^3 (a+b x)^3}+\frac {21 (A b-11 a B) x^{5/2}}{320 a b^4 (a+b x)^2}+\frac {21 (A b-11 a B) x^{3/2}}{128 a b^5 (a+b x)}+\frac {63 (A b-11 a B) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{128 \sqrt {a} b^{13/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.03, size = 61, normalized size = 0.29 \[ \frac {x^{11/2} \left (\frac {11 a^5 (A b-a B)}{(a+b x)^5}+(11 a B-A b) \, _2F_1\left (5,\frac {11}{2};\frac {13}{2};-\frac {b x}{a}\right )\right )}{55 a^6 b} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.02, size = 673, normalized size = 3.16 \[ \left [\frac {315 \, {\left (11 \, B a^{6} - A a^{5} b + {\left (11 \, B a b^{5} - A b^{6}\right )} x^{5} + 5 \, {\left (11 \, B a^{2} b^{4} - A a b^{5}\right )} x^{4} + 10 \, {\left (11 \, B a^{3} b^{3} - A a^{2} b^{4}\right )} x^{3} + 10 \, {\left (11 \, B a^{4} b^{2} - A a^{3} b^{3}\right )} x^{2} + 5 \, {\left (11 \, B a^{5} b - A a^{4} b^{2}\right )} x\right )} \sqrt {-a b} \log \left (\frac {b x - a - 2 \, \sqrt {-a b} \sqrt {x}}{b x + a}\right ) + 2 \, {\left (1280 \, B a b^{6} x^{5} + 3465 \, B a^{6} b - 315 \, A a^{5} b^{2} + 965 \, {\left (11 \, B a^{2} b^{5} - A a b^{6}\right )} x^{4} + 2370 \, {\left (11 \, B a^{3} b^{4} - A a^{2} b^{5}\right )} x^{3} + 2688 \, {\left (11 \, B a^{4} b^{3} - A a^{3} b^{4}\right )} x^{2} + 1470 \, {\left (11 \, B a^{5} b^{2} - A a^{4} b^{3}\right )} x\right )} \sqrt {x}}{1280 \, {\left (a b^{12} x^{5} + 5 \, a^{2} b^{11} x^{4} + 10 \, a^{3} b^{10} x^{3} + 10 \, a^{4} b^{9} x^{2} + 5 \, a^{5} b^{8} x + a^{6} b^{7}\right )}}, \frac {315 \, {\left (11 \, B a^{6} - A a^{5} b + {\left (11 \, B a b^{5} - A b^{6}\right )} x^{5} + 5 \, {\left (11 \, B a^{2} b^{4} - A a b^{5}\right )} x^{4} + 10 \, {\left (11 \, B a^{3} b^{3} - A a^{2} b^{4}\right )} x^{3} + 10 \, {\left (11 \, B a^{4} b^{2} - A a^{3} b^{3}\right )} x^{2} + 5 \, {\left (11 \, B a^{5} b - A a^{4} b^{2}\right )} x\right )} \sqrt {a b} \arctan \left (\frac {\sqrt {a b}}{b \sqrt {x}}\right ) + {\left (1280 \, B a b^{6} x^{5} + 3465 \, B a^{6} b - 315 \, A a^{5} b^{2} + 965 \, {\left (11 \, B a^{2} b^{5} - A a b^{6}\right )} x^{4} + 2370 \, {\left (11 \, B a^{3} b^{4} - A a^{2} b^{5}\right )} x^{3} + 2688 \, {\left (11 \, B a^{4} b^{3} - A a^{3} b^{4}\right )} x^{2} + 1470 \, {\left (11 \, B a^{5} b^{2} - A a^{4} b^{3}\right )} x\right )} \sqrt {x}}{640 \, {\left (a b^{12} x^{5} + 5 \, a^{2} b^{11} x^{4} + 10 \, a^{3} b^{10} x^{3} + 10 \, a^{4} b^{9} x^{2} + 5 \, a^{5} b^{8} x + a^{6} b^{7}\right )}}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.17, size = 159, normalized size = 0.75 \[ \frac {2 \, B \sqrt {x}}{b^{6}} - \frac {63 \, {\left (11 \, B a - A b\right )} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{128 \, \sqrt {a b} b^{6}} + \frac {4215 \, B a b^{4} x^{\frac {9}{2}} - 965 \, A b^{5} x^{\frac {9}{2}} + 13270 \, B a^{2} b^{3} x^{\frac {7}{2}} - 2370 \, A a b^{4} x^{\frac {7}{2}} + 16768 \, B a^{3} b^{2} x^{\frac {5}{2}} - 2688 \, A a^{2} b^{3} x^{\frac {5}{2}} + 9770 \, B a^{4} b x^{\frac {3}{2}} - 1470 \, A a^{3} b^{2} x^{\frac {3}{2}} + 2185 \, B a^{5} \sqrt {x} - 315 \, A a^{4} b \sqrt {x}}{640 \, {\left (b x + a\right )}^{5} b^{6}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.08, size = 239, normalized size = 1.12 \[ -\frac {193 A \,x^{\frac {9}{2}}}{128 \left (b x +a \right )^{5} b}+\frac {843 B a \,x^{\frac {9}{2}}}{128 \left (b x +a \right )^{5} b^{2}}-\frac {237 A a \,x^{\frac {7}{2}}}{64 \left (b x +a \right )^{5} b^{2}}+\frac {1327 B \,a^{2} x^{\frac {7}{2}}}{64 \left (b x +a \right )^{5} b^{3}}-\frac {21 A \,a^{2} x^{\frac {5}{2}}}{5 \left (b x +a \right )^{5} b^{3}}+\frac {131 B \,a^{3} x^{\frac {5}{2}}}{5 \left (b x +a \right )^{5} b^{4}}-\frac {147 A \,a^{3} x^{\frac {3}{2}}}{64 \left (b x +a \right )^{5} b^{4}}+\frac {977 B \,a^{4} x^{\frac {3}{2}}}{64 \left (b x +a \right )^{5} b^{5}}-\frac {63 A \,a^{4} \sqrt {x}}{128 \left (b x +a \right )^{5} b^{5}}+\frac {437 B \,a^{5} \sqrt {x}}{128 \left (b x +a \right )^{5} b^{6}}+\frac {63 A \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{128 \sqrt {a b}\, b^{5}}-\frac {693 B a \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{128 \sqrt {a b}\, b^{6}}+\frac {2 B \sqrt {x}}{b^{6}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.34, size = 206, normalized size = 0.97 \[ \frac {5 \, {\left (843 \, B a b^{4} - 193 \, A b^{5}\right )} x^{\frac {9}{2}} + 10 \, {\left (1327 \, B a^{2} b^{3} - 237 \, A a b^{4}\right )} x^{\frac {7}{2}} + 128 \, {\left (131 \, B a^{3} b^{2} - 21 \, A a^{2} b^{3}\right )} x^{\frac {5}{2}} + 10 \, {\left (977 \, B a^{4} b - 147 \, A a^{3} b^{2}\right )} x^{\frac {3}{2}} + 5 \, {\left (437 \, B a^{5} - 63 \, A a^{4} b\right )} \sqrt {x}}{640 \, {\left (b^{11} x^{5} + 5 \, a b^{10} x^{4} + 10 \, a^{2} b^{9} x^{3} + 10 \, a^{3} b^{8} x^{2} + 5 \, a^{4} b^{7} x + a^{5} b^{6}\right )}} + \frac {2 \, B \sqrt {x}}{b^{6}} - \frac {63 \, {\left (11 \, B a - A b\right )} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{128 \, \sqrt {a b} b^{6}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.18, size = 200, normalized size = 0.94 \[ \frac {2\,B\,\sqrt {x}}{b^6}-\frac {x^{3/2}\,\left (\frac {147\,A\,a^3\,b^2}{64}-\frac {977\,B\,a^4\,b}{64}\right )-x^{7/2}\,\left (\frac {1327\,B\,a^2\,b^3}{64}-\frac {237\,A\,a\,b^4}{64}\right )-\sqrt {x}\,\left (\frac {437\,B\,a^5}{128}-\frac {63\,A\,a^4\,b}{128}\right )+x^{9/2}\,\left (\frac {193\,A\,b^5}{128}-\frac {843\,B\,a\,b^4}{128}\right )+x^{5/2}\,\left (\frac {21\,A\,a^2\,b^3}{5}-\frac {131\,B\,a^3\,b^2}{5}\right )}{a^5\,b^6+5\,a^4\,b^7\,x+10\,a^3\,b^8\,x^2+10\,a^2\,b^9\,x^3+5\,a\,b^{10}\,x^4+b^{11}\,x^5}+\frac {63\,\mathrm {atan}\left (\frac {\sqrt {b}\,\sqrt {x}}{\sqrt {a}}\right )\,\left (A\,b-11\,B\,a\right )}{128\,\sqrt {a}\,b^{13/2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________